1. Combinatorial Set Theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
2. Frege. philosophy of mathematics
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
3. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
4. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Handbook of Set Theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
7. Lesniewski's systems of logic and foundations of mathematics
پدیدآورنده : Urbaniak, Rafal
موضوع : ، Logic, Symbolic and mathematical.,، Mathematical foundations ; Logic ; Philosophy of science,، SCIENCE / Philosophy & Social Aspects
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Logic and arithmetic
پدیدآورنده : David Bostock
موضوع : Arithmetic- Foundations,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Symbolic logic and the real number system; an introduction to the foundations of number systems
پدیدآورنده : Lightstone, A H
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Arithmetic -- Foundations,، Logic, Symbolic and mathematical
رده :
QA
255
.
L55
10. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
11. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
12. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
13. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006